Search Results
USENIX Security '20 - SmartVerif: Push the Limit of Automation Capability of Verifying Security...
USENIX Security '20 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation
Sound Verification of Security Protocols: From Design to Interoperable Implementations
Formal Verification of Secure Forwarding Protocols
